Interactive computation

Results: 89



#Item
51Mathematical logic / XOR gate / OR gate / Commitment scheme / Boolean circuit / AND gate / Exclusive or / Verifiable computing / Logic gates / Theoretical computer science / Mathematics

TinyLEGO: An Interactive Garbling Scheme for Maliciously Secure Two-party Computation Tore Kasper Frederiksen, Thomas P. Jakobsen, Jesper Buus Nielsen, and Roberto Trifiletti ???

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-04-04 01:46:16
52Theory of computation / Computability theory / Alan Turing / Turing machine / Mathematical logic / Computability / Algorithm / Church–Turing thesis / Interactive computation / Theoretical computer science / Computer science / Applied mathematics

International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-01-04 08:41:21
53Compiler construction / Theoretical computer science / Computer science / Automata theory / LL parser / LR parser / Parsing / Nondeterministic finite automaton / Finite-state machine / Formal languages / Models of computation / Theory of computation

A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2003-12-22 12:57:12
54LV / Interactive computation

SCIENCECAREERS_norates_final_NorthAmerica.pdf

Add to Reading List

Source URL: sciencecareers.sciencemag.org

Language: English - Date: 2015-01-09 15:10:36
55Theoretical computer science / Computer science / Compiler construction / Applied mathematics / Deterministic pushdown automaton / Parsing table / LL parser / LR parser / Pushdown automaton / Automata theory / Models of computation / Formal languages

An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed]

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 1998-09-22 12:59:46
56Communications protocol / Secure two-party computation / Oblivious transfer / Secure multi-party computation / Transmission Control Protocol / Two-phase commit protocol / Public-key cryptography / Circuit / Cryptography / Cryptographic protocols / Commitment scheme

Non-Interactive Secure Computation Based on Cut-and-Choose Arash Afshar1 , Payman Mohassel1 , Benny Pinkas2? , and Ben Riva2,3?? 1 University of Calgary

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-03-25 05:51:56
57Software engineering / Theoretical computer science / Automata theory / Models of computation / LR parser / LL parser / Parsing / Bottom-up parsing / Parsing table / Programming language implementation / Compiler construction / Formal languages

LLparse and LRparse: Visual and Interactive Tools for Parsing Stephen A. Blythe, Michael C. James, and Susan H. Rodger1 Department of Computer Science Rensselaer Polytechnic Institute Troy, NY[removed]email: rodger@cs

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2003-06-18 09:05:39
58Mimicry / Evolutionary algorithms / Antipredator adaptations / Biological interactions / Camouflage / Texture synthesis / Crypsis / Genetic algorithm / Active camouflage / Biology / Behavior / Predation

Interactive Evolution of Camouflage Abstract This article presents an abstract computation model of the evolution of camouflage in nature. The 2D model uses evolved textures for prey, a background texture representing th

Add to Reading List

Source URL: www.red3d.com

Language: English - Date: 2011-08-14 13:49:15
59Mathematics / Interactive evolutionary computation / Computer art / Genetic algorithm / Computer graphics / Evolutionary computation / Measure / Color histogram / Complexity / Evolutionary algorithms / Science / Applied mathematics

Poster Abstracts of Computational Aesthetics in Graphics, Visualization, and Imaging[removed]B. Riecke (Editor) SBArt4 – Breeding and Evolving Abstract Images and Animations T. Unemi

Add to Reading List

Source URL: www.intlab.soka.ac.jp

Language: English - Date: 2011-07-05 10:29:18
60Computer graphics / Evolutionary algorithms / Cybernetics / Application programming interfaces / Cross-platform software / Evolutionary art / Genetic algorithm / Interactive evolutionary computation / WebGL / Software / Computing / OpenGL

Automated Daily Production of Evolutionary Audio Visual Art — An Experimental Practice Tatsuo Unemi Department of Information Systems Science Soka University Hachi¯oji, Tokyo[removed]Japan

Add to Reading List

Source URL: computationalcreativity.net

Language: English - Date: 2014-06-08 07:06:37
UPDATE